System Architecture Validation with UML
نویسندگان
چکیده
The foundation of every system is the architecture. It has to be designed according to the corresponding system requirements by the system architect who is also responsible for ensuring that it fits to the system requirements even if these change due to new conditions during development process. Our approach defines a model driven process for the architect to validate system architecture against system requirements based on UML. It supports the architect in designing the architecture and in analysing the impacts of requirements changes.
منابع مشابه
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle control system: a model of the Ariane-5 flight software obtained by manual reverse engineering. The goal of the study is to verify functional and scheduling-related requirements under different task archit...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملIntegrating the Unified Modeling Language with an Architecture Description Language
This paper presents an approach to bring languages and tools for specification and validation of software architecture into wider use. This is achieved by integrating UML (Unified Modeling Language) with an Architecture Description Language (ADL). The integration will encompass the advantages of both languages. Specifically, it will provide UML with a theoretical foundation for architecture mod...
متن کاملFrom MSC and UML to SDL - Computer Software and Applications Conference, 2002. Proceedings. 26th Annual International
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011